thin lens equation derivation